Trait isotope::term::Cons [−][src]
pub trait Cons { type Consed; fn cons(&self, ctx: &mut impl ConsCtx + ?Sized) -> Option<Self::Consed>; fn to_consed_ty(&self) -> Self::Consed; fn consed(&self, ctx: &mut impl ConsCtx + ?Sized) -> Self::Consed { ... } }
Expand description
Objects which can be consed in a context
Associated Types
Required methods
Cons this term within a given context. Return None
if already consed.
fn to_consed_ty(&self) -> Self::Consed
[src]
fn to_consed_ty(&self) -> Self::Consed
[src]Convert this term to it’s own consed type